Section: Partnerships and Cooperations

Visits of Foreign Researchers

Adel Bouhoula (SupCom Tunis, Tunisie) has visited Cassis (July 14 - July 21) to work on firewall policies.

Chris Lynch (University of Clarkson, USA) has visited Cassis (August 8 - August 15) to work on automated deduction.

Paliath Narendran (University of Albany, USA) has visited Cassis (August 19 - August 25) to work on unification algorithms for security protocol analysis.

Olivier Pereira (Université Catholique de Louvain, Belgium) has visited Cassis to work on developments of Helios (November 28).

Valerio Senni (University of Roma “Tor Vergata”, Italy) has visited Cassis (30th September - 3rd October) for a seminar and to work on structured data generation for testing.

Bogdan Warinschi (University of Bristol, UK) has visited Cassis three times to work on privacy for voting protocols and combination techniques for soundness results of symbolic model (January 17-19, June 20 - 24, and November 20 - 30).